Turing machine - PDFSEARCH.IO - Document Search Engine

Turing machine
Results: 564

#	Item
441	A Sequential Model of Computation for First-Order Logic Steven Lindell Haverford College[removed]SUMMARY: Problems computable in constant time on a uniform parallel model of computation (a type of PRAM) have been elegantly Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:30 Computability theory Formal methods Models of computation Theory of computation Algorithm FO Turing machine Lookup table Computability Theoretical computer science Applied mathematics Mathematics
442	Creating a Child Machine: Reflections on Turing’s Proposal Raj Reddy ACM Turing Centenary Celebration Talk - June 15, 2012 In his paper on “Computing Machinery and Intelligence”, Alan Turing raised two interesting Add to Reading List Source URL: www.rr.cs.cmu.edu Language: English - Date: 2012-07-03 12:05:44 Ethology Philosophy of artificial intelligence Philosophy of mind Computing Machinery and Intelligence Turing test Cognitive science Mind Complexity Turing machine Science Artificial intelligence Alan Turing
443	The Complexity of Theorem-Proving Procedures Stephen A. Cook University of Toronto Add to Reading List Source URL: cs.stanford.edu Language: English - Date: 2005-08-23 19:36:17 Complexity classes Computability theory Turing machine Alan Turing Tautology NP FO Reduction PP Theoretical computer science Computational complexity theory Applied mathematics
444	International Journal of Machine Consciousness Vol. 4, No[removed]À158 # Add to Reading List Source URL: www.terasemcentral.org Language: English - Date: 2012-06-21 14:24:03 Artificial intelligence Computational neuroscience Philosophy of artificial intelligence Consciousness Mind uploading Artificial consciousness Martine Rothblatt Psychology Turing test Mind Cognitive science Philosophy of mind
445	Microsoft Word[removed]1b.doc Add to Reading List Source URL: www.fhi.ox.ac.uk Language: English - Date: 2013-06-03 09:16:05 Science Transhumanism Immortality Mind uploading Neurotechnology Emulator Anders Sandberg Simulation Turing machine Time Emerging technologies Future
446	Computing over the Reals: Where Turing Meets Newton [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-06-22 10:29:01 Computer science Theory of computation Computational complexity theory Computable number Computable function Turing machine Halting problem Computability Real computation Theoretical computer science Computability theory Applied mathematics
447	VOL. LIX. NO. 236.] Add to Reading List Source URL: mind.oxfordjournals.org Language: English - Date: 2005-05-23 11:30:20 Computer science Artificial intelligence Philosophy of artificial intelligence Turing machine Computing Machinery and Intelligence Theoretical computer science Computer Finite-state machine Turing test Alan Turing Models of computation Theory of computation
448	contributed articles doi:[removed][removed] Add to Reading List Source URL: www.yildiz.edu.tr Language: English - Date: 2013-04-01 18:49:43 Science Computer science Human–computer interaction Theoretical computer science Turing test Computing Machinery and Intelligence Turing machine Algorithm A New Kind of Science Alan Turing Artificial intelligence Philosophy of artificial intelligence
449	Permutations by interchanges By B. R. Heap Methods for obtaining all possible permutations of a number of objects, in which each permutation Add to Reading List Source URL: comjnl.oxfordjournals.org Language: English - Date: 2008-07-08 06:35:48 Computer science Abstract algebra Combinatorics Permutation Magnet Computer Diagram Turing machine Algorithm Mathematics Theoretical computer science Applied mathematics
450	C:/__FAENA__/_RESEARCH/_SUBMISSIONS/2000/Beyond/More/Beyond2 - PUBLISHED/sent/TT-JHdz2.dvi Add to Reading List Source URL: users.dsic.upv.es Language: English - Date: 2012-10-21 07:07:02 Computability theory Complexity classes Algorithmic information theory Turing machine Alan Turing Kolmogorov complexity Universal Turing machine Inductive inference Minimum description length Theoretical computer science Applied mathematics Computational complexity theory

UPDATE